<html>
<head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
	<title>Создание выражений</title>
</head>
<body bgcolor="FFFFFF">

<h1>Создание выражений</h1>

<p>Для каждой выходной переменной окно Комбинационный анализ поддерживает две структуры - соответствующую колонку таблицы истинности и логическое выражение - указывающее, как каждый выход связан со своими входами. Вы можете редактировать и таблицу истинности и выражение; одно будет автоматически менять другое по мере необходимости, чтобы они соответствовали друг другу.</p>

<p>Как мы увидим на следующей странице, логические выражения особенно полезны, потому что окно Комбинационный анализ будет использовать их, когда мы укажем ему построить схему, соответствующую текущему состоянию.</p>

<p>Вы можете просматривать и редактировать выражения, используя две последние вкладки: Выражение и Минимизация.</p>

<h2>Вкладка Выражение</h2>

<center><img src="../../../img-guide/analyze-expr.png" width="396" height="387"></center>

<p>Вкладка Выражение позволяет вам просматривать и редактировать текущее выражение, связанное с каждой выходной переменной. Вы можете выбрать выходное выражение, которое вы хотите просматривать и изменять, с помощью списка "Выход:" наверху вкладки.</p>

<p>Чуть ниже списка появится выражение, отформатированное в довольно общепринятых обозначениях, где ИЛИ представляется в виде сложения, И - как умножение, а НЕ обозначается чертой над той частью, для которой вычисляется НЕ.</p>

<p>Текстовое поле ниже отображает ту же информацию в виде ASCII последовательности. Здесь НЕ представляется как тильда ('~').</p>

<p>Вы можете изменить выражение в текстовом поле и нажать кнопку Ввести, чтобы изменения вступили в силу; это также обновит таблицу истинности для соответствия. Кнопка Очистить очищает текстовое поле, а кнопка Вернуть меняет поле обратно к представлению текущего выражения.</p>

<p>Обратите внимание, что отредактированные вами выражения будут потеряны, если вы измените таблицу истинности.</p>

<p>В дополнение к умножению и сложению, обозначающим И и ИЛИ, выражение, которое вы набираете, может содержать любой из логических операторов C/Java, а также просто английские слова сами по себе.</p>
<center><table>
<tr><th>высший приоритет</th><td align="center"><tt>~</tt> <tt>!</tt> <tt>'</tt></td> <th>НЕ</th></tr>
<tr><th></th><td align="center">(отсутствие символа) <tt>&amp;</tt> <tt>&amp;&amp;</tt> AND</td> <th>И</th></tr>
<tr><th></th><td align="center"><tt>^ XOR</tt></td> <th>Исключающее ИЛИ</th></tr>
<tr><th>низший приоритет</th><td align="center"><tt>+</tt> <tt>|</tt> <tt>||</tt> OR</td> <th>ИЛИ</th></tr>
</table></center>
<p>Все нижеприведённые примеры - допустимые представления одного и того же выражения. Кроме того, можно смешивать операторы.</p>
<table>
<tr><td><tt>a' (b + c)</tt></td></tr>
<tr><td><tt>!a &amp;&amp; (b || c)</tt></td></tr>
<tr><td><tt>NOT a AND (b OR c)</tt></td></tr>
</table>
<p>Вообще-то, скобки в последовательностях AND'ов (или OR'ов или XOR'ов) не имеют значения. (В частности, когда Logisim создаёт соответствующую схему, он будет игнорировать такие скобки.)</p>

<h2>Вкладка Минимизация</h2>

<center><img src="../../../img-guide/analyze-min.png" width="387" height="356"></center>

<p>Последняя вкладка отображает минимизированное выражение, соответствующее столбцу таблицы истинности. Вы можете выбрать, для какого выхода вы хотите просматривать минимизированное выражение с помощью списка сверху, и можете указать, какое выражение вы хотите получить - сумму произведений или произведение сумм, с помощью списка снизу.</p>

<p>Если входов четыре или меньше, то ниже списка появится карта Карно, соответствующая выходной переменной. Вы можете щёлкать на карте Карно для изменения соответствующих значений таблицы истинности. Карта Карно будет также показывать выбранные в данный момент для минимизированного выражения термы в виде сплошных полупрозрачных скругленных прямоугольников.</p>

<p>Ниже - само минимизированное выражение, отформатированное так же, как во вкладке Выражение. Если выходов более четырёх, то карта Карно не появится, но минимизированное выражение всё равно будет вычислено. (Logisim использует метод Куайна — Мак-Класки для вычисления минимизированного выражения. Он эквивалентен карте Карно, но применим к любому числу входных переменных.)</p>

<p>Кнопка Установить как выражение позволяет вам выбрать минимизированное выражение как выражение, соответствующее переменной. Это, как правило, не нужно, поскольку изменения в таблице истинности приводят к использованию минимизированного выражения для изменённого столбца; но если вы введете выражение через вкладку Выражение, то это может быть удобно, чтобы перейти к соответствующему минимизированному выражению.</p>

<p><strong>Далее:</strong> <a href="gen.html">Создание схемы</a>.</p>

</body>
</html>
